Language-based system

Results: 412



#Item
71Virtual machines / Programming language implementation / Replication / Hyper-V / Oracle Database / Hypervisor / Operating system / VM / Windows / Software / System software / Cross-platform software

ExecRecorder: VM-Based Full-System Replay for Attack Analysis and System Recovery Daniela A. S. de Oliveira S. Felix Wu Jedidiah R. Crandall

Add to Reading List

Source URL: seclab.cs.ucdavis.edu

Language: English - Date: 2007-02-21 19:48:12
72Science / Scientific modeling / Modeling and simulation / Computational science / Computer simulation / Virtual reality / Simulation / Scientific modelling / Traffic simulation / Simulation software / Software / Application software

General Purpose Simulation System based on Excel Language

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-15 22:31:24
73Software engineering / Theoretical computer science / Object-oriented programming / Polymorphism / Subtype polymorphism / Type system / Type theory / Data types / Programming language theory

Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:54:08
74Behavior Trees / Enterprise modelling / Computer science / System / Component-based software engineering / Parallel computing / Science / Systems engineering / Software engineering / Systems science

Extracting Elements of Component-based Systems from Natural Language Requirements Kung-Kiu Lau, Azlin Nordin and Keng-Yap Ng School of Computer Science, The University of Manchester, Manchester M13 9PL, UK Email: {kung-k

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2011-05-23 05:23:09
75Pedagogy / Sports science / Test / English as a foreign or second language / E-learning / Placement testing / Confidence-based learning / Education / Educational psychology / Standardized tests

 e-Tests Types of e-Tests There are over 1,000 online assessments and tests in the extralearning system. These computerized e-tests are easy to administer, score and analyze, thus minimizing training and staff developme

Add to Reading List

Source URL: www.extralearning.org

Language: English - Date: 2008-12-28 22:59:00
76Systems engineering / Architecture description language / Component-based software engineering / Parallel computing / Generic programming / Embedded system / Wright / Software architecture / Software engineering / Design

Modelling software architectures Using CRADLE

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-16 21:23:13
77Component-based software engineering / Object-oriented programming / Ada programming language / SPARK / Software architecture / Software engineering / Computing / Computer programming

Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System Kung-Kiu Lau and Zheng Wang School of Computer Science, The University of Manchester Oxford Road, Manchester M13 9PL, United

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-11-27 20:49:10
78Natural language processing / Information retrieval / Knowledge representation / Biological databases / Document classification / Medical Subject Headings / Thesaurus / Unified Medical Language System / Relevance / Science / Information science / Information

Notebook Paper TREC 2005 Genomics Track A Concept-Based Approach to Text Categorization Bob J.A. Schijvenaars, Martijn J. Schuemie, Erik M. van Mulligen, Marc Weeber, Rob Jelier, Barend Mons, Jan A. Kors Department of M

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2006-02-21 09:28:36
79Information science / Information retrieval / Linguistics / Artificial intelligence applications / Question answering / Question / Bin / Open domain question answering / Science / Natural language processing / Computational linguistics

FDUQA on TREC2003 QA task Lide Wu, Xuanjing Huang, Yaqian Zhou, Yongping Du, Lan You Fudan University, Shanghai, China 1 Introduction It is the fourth time that we take part in the QA track. Our system, FDUQA, is based o

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2004-02-12 14:07:07
80Geodesy / Keyhole Markup Language / Geography / Hiking equipment / Map / Geographic information system / Google Maps / Topographic map / Web mapping / Software / Cartography / Computing

Concepts and Methods for Rule-Based Web Cartography SCO Technical Paper Version History

Add to Reading List

Source URL: www.sco.wisc.edu

Language: English - Date: 2011-08-29 13:32:58
UPDATE